1. Advances in the design of symbolic computation systems

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: System design,Object-oriented programming (Computer science),Mathematics -- Data processing

رده :
QA
76
.
9
.
S88
A38
1997
مشاهده در قفسه مجازی RIS Bibtex ISO

2. Advances in the design of symbolic computation systems

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: System design,Object-oriented programming (Computer science),Mathematics -- Data processing

رده :
QA76
.
9
.
S88
,
A38
1997
مشاهده در قفسه مجازی RIS Bibtex ISO

3. Algorithms and complexity : new directions and recent results

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer programming,Congresses ، Computational complexity,Data processing -- Congresses ، Mathematics

رده :
QA
76
.
6
.
S98
1976
مشاهده در قفسه مجازی RIS Bibtex ISO

4. An introduction to SAGE programming

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Mathematics-- Data processing.,Numerical analysis-- Data processing.,Computer programming.,ریاضیات -- داده‌پردازی

رده :
QA76
.
95
.
M486
2016
E-Book
,
مشاهده در قفسه مجازی RIS Bibtex ISO

5. An introduction to SAGE programming :

پدیدآورنده:

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: SageMath.,Computer programming.,Mathematics-- Data processing.,Numerical analysis-- Data processing.

رده :
QA76
.
95
مشاهده در قفسه مجازی RIS Bibtex ISO

6. Beginning math and physics for game programmers

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Computer science- Mathematics,Computer games- Programming,Physics- Data processing

رده :
QA76
.
9
.
M35
,
S73
2004
مشاهده در قفسه مجازی RIS Bibtex ISO

7. Box2d for Flash games

پدیدآورنده:

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer animation-- Mathematics,Computer games-- Programming,Physics-- Data processing

رده :
QA76
.
76
.
C672
P36
2012
مشاهده در قفسه مجازی RIS Bibtex ISO

8. Calculating with Fortran

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing

رده :
QA
76
.
73
.
F25
.
M35
مشاهده در قفسه مجازی RIS Bibtex ISO

9. Categories and computer science

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Data processing ، Categories )Mathematics(,، Computer programming

رده :
QA
169
.
W3
مشاهده در قفسه مجازی RIS Bibtex ISO

10. Categories and computer science

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Categories (Mathematics) ; Data processing ; Computer programming ;

RIS Bibtex ISO

11. Computational category theory /

پدیدآورنده:

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Categories (Mathematics)-- Data processing,Computer programming

رده :
QA169
.
R93
1988
مشاهده در قفسه مجازی RIS Bibtex ISO

12. Computational category theory

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)

موضوع: Categories (Mathematics)- Data processing,Computer programming

رده :
QA
,
169
,.
R93
,
1988
مشاهده در قفسه مجازی RIS Bibtex ISO

13. Computational category theory. [CD]

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)

موضوع: Categories (Mathematics) -- Data processing,Computer programming

رده :
QA169
.
R93
1988
مشاهده در قفسه مجازی RIS Bibtex ISO

14. Computer- aided financial analysis

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Investments- Mathematical models ► Investments- Data processing ► LISP (Computer program language) ► Programming (Mathematics)

رده :
332
M649c
مشاهده در قفسه مجازی RIS Bibtex ISO

15. Computer science, a mathematical interoduction applied mathematics--modelling analysis, and optimization techniques with application to software ystems

پدیدآورنده:

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Electronic data processing--Mathematics,Electronic digital computer-Programming,Computer science - Mathematics

رده :
QA
76
.
9
.
M35L48
1984
مشاهده در قفسه مجازی RIS Bibtex ISO

16. Computer science with Mathematica

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)

موضوع: Mathematica (Computer file),Mathematics, Data processing,Mathematica (Computer programming language)

رده :
QA
,
76
.
95
,.
M34
,
2000
مشاهده در قفسه مجازی RIS Bibtex ISO

17. Computer science with Mathematica

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Mathematica (Computer file),Mathematics- Data processing,Mathematica (Computer programming language)

رده :
QA76
.
95
.
M34
2000
مشاهده در قفسه مجازی RIS Bibtex ISO

18. Computer science with Mathematica : theory and practice for science, mathematics, and engineering

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Mathematica (Computer file),Mathematics -- Data processing.,Mathematica (Computer programming language)

رده :
‭
QA76
.
95
‬ ‭.
M34
2000
‬
مشاهده در قفسه مجازی RIS Bibtex ISO

19. Computer science with Mathematica :theory and practice for science, mathematics, and engineering[CD]

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)

موضوع: Mathematica (Computer file),Mathematics -- Data processing,Mathematica (Computer programming language)

رده :
CD1760-09
مشاهده در قفسه مجازی RIS Bibtex ISO

20. Computer science with Mathematica: theory and practice for science, mathematics, and engineering

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Mathematics-- Data processing,، Mathematica )Computer programming language(

رده :
QA
76
.
95
.
M34
2000
مشاهده در قفسه مجازی RIS Bibtex ISO